3

Combining dynamic and static slicing for analysing assembler

Year:
2010
Language:
english
File:
PDF, 1.40 MB
english, 2010
6

Formal aspects of microprocessor design

Year:
1990
Language:
english
File:
PDF, 167 KB
english, 1990
12

Rough set approach to online signature identification

Year:
2011
Language:
english
File:
PDF, 476 KB
english, 2011
15

Slicing as a program transformation

Year:
2007
Language:
english
File:
PDF, 330 KB
english, 2007
16

On guaranteeing hard real-time tasks

Year:
1993
Language:
english
File:
PDF, 386 KB
english, 1993
17

A distributed algorithm for distributed termination

Year:
1987
Language:
english
File:
PDF, 369 KB
english, 1987
27

Cycle calculus for hybrid systems

Year:
1993
Language:
english
File:
PDF, 269 KB
english, 1993
30

ATOM: An object-based formal method for real-time systems

Year:
1999
Language:
english
File:
PDF, 160 KB
english, 1999
33

A model for timed-probabilistic behaviors

Year:
1995
Language:
english
File:
PDF, 1.38 MB
english, 1995
41

Run-time analysis of time-critical systems

Year:
2005
Language:
english
File:
PDF, 542 KB
english, 2005
46

The specification and design of secure context-aware workflows

Year:
2017
Language:
english
File:
PDF, 977 KB
english, 2017